Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
601	TLP 11 (4–5): 593–609, C Cambridge University Press 2011 ! 593 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-07-06 10:36:03 Logic in computer science Constraint programming Formal languages Logic programming Constraint Handling Rules Operational semantics Constraint logic programming Model theory Bisimulation Theoretical computer science Mathematics Applied mathematics
602	Published in Proceedings of EURO–PAR’95, Sweden Relating Data–Parallelism and (And–) Parallelism in Logic Programs? Manuel V. Hermenegildo and Manuel Carro Universidad Polit´ecnica de Madrid Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2003-02-05 06:01:04 Software engineering Compiler optimizations Data parallelism Prolog Automatic parallelization Parallelism Scalable parallelism Programming paradigms Task parallelism Computing Parallel computing Computer programming
603	Fall 2014 BBM 103: Introduction to Programming Laboratory I PROGRAMMING ASSIGNMENT 4 Subject : Recursions Due Date : Add to Reading List Source URL: web.cs.hacettepe.edu.tr Language: English - Date: 2014-11-27 08:51:11 Mathematical logic Theoretical computer science Verbal arithmetic Drive letter assignment Logic Games Mechanical puzzles Puzzles Sudoku algorithms Logic puzzles Mathematics Algorithm
604	Integrated Logic Systems Part 1: Deduction Systems This part is concerned with the design and use of various deduction systems: Prolog Tableaux-Prover Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-01-04 14:04:47 Computer programming Prolog Warren Abstract Machine Unification Backtracking Answer set programming B-Prolog Logic programming Software engineering Computing
605	Curriculum Vitae Paola Bruscoli Research Fellow (EPSRC) at University of Bath http://www.cs.bath.ac.uk/pb/ March 30, 2013 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2013-03-30 11:16:35 Theoretical computer science Automated theorem proving Non-classical logic Substructural logic Calculus of structures Logic programming International Colloquium on Automata Languages and Programming Linear logic Logic Formal sciences Mathematical logic
606	Rules and Queries with Ontologies: a Unified Logical Framework Enrico Franconi and Sergio Tessaris Faculty of Computer Science, Free University of Bozen-Bolzano, Italy lastname @inf.unibz.it Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:45 Ontology Semantic Web Logic programming Non-classical logic Model theory Description logic Web Ontology Language Stable model semantics Semantic Web Rule Language Logic Science Mathematical logic
607	ROBOMIND ACADEMY REGISTRATION st In the RoboMind Academy you train your Computational Thinking skills: important knowledge in the 21 century. By programming a virtual robot, you learn about logic, automation, and techniq Add to Reading List Source URL: www.robomindacademy.com Language: English - Date: 2015-06-05 09:18:47 Webmail World Wide Web Password Gmail Yahoo! Mail Password notification email Email Computing Internet
608	IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming? M.J. Fern´ andez M. Carro M. Hermenegildo Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2003-02-06 04:50:35 Programming language theory Prolog Speedup Parallel processing Central processing unit Automatic parallelization Parallel computing Computing Computer programming
609	Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz1 , Francesco Logozzo2 , Manuel F¨ahndrich2 ´ Ecole normale sup´erieure, Paris, France Add to Reading List Source URL: mehdi.bouaziz.org Language: English - Date: 2014-01-23 20:24:46 Computing Postcondition Design by contract Abstract interpretation Programming language Formal verification Precondition Class Software engineering Theoretical computer science Logic in computer science
610	Two Problems - Two Solutions: One System ECLiPSe Mark Wallace and Andre Veron AprilIntroduction Add to Reading List Source URL: eclipseclp.org Language: English - Date: 2015-04-07 09:30:53 Computer programming Constraint satisfaction Constraint logic programming Local consistency ECLiPSe CHIP Constraint Backtracking Logic programming Constraint programming Declarative programming Software engineering

UPDATE